Non-Classical

Results: 915



#Item
221Reasoning / Non-classical logic / Logic programming / Artificial intelligence / Epistemic modal logic / Rohit Jivanlal Parikh / Common knowledge / Non-monotonic logic / Modal logic / Logic / Science / Mathematical logic

Epistemic Logic: : Annotated Bibliography Ernest Davis∗ New York University New York, New York Leora Morgenstern

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2006-09-12 16:22:28
222Modal logic / Non-classical logic / Philosophical logic

Microsoft Word - Checklist to Evaluate Cases.rtf

Add to Reading List

Source URL: cll.mcmaster.ca

Language: English - Date: 2011-12-13 10:58:10
223Modal logic / Non-classical logic / Philosophical logic / Data fusion / Artificial neuron / Modality / KeY / Science / Neural networks / Logic / Multimodal interaction

1 ModDrop: adaptive multi-modal gesture recognition arXiv:1501.00102v1 [cs.CV] 31 Dec 2014

Add to Reading List

Source URL: www.uoguelph.ca

Language: English - Date: 2015-01-08 21:24:09
224Philosophical logic / Algebraic topology / Complex analysis / Logic / Modal logic / Non-classical logic

rROM:HULLEY 8rASSOCIATES TO::21:PFROM.Huily Associates TOIf 4097 PCONVERSATfON

Add to Reading List

Source URL: cdn.mg.co.za

Language: English - Date: 2015-04-16 10:15:09
225Logic / Mathematics / Mathematical logic / Scrabble / Games / Non-classical logic / Probabilistic logic

Systems of Thought Pat Hanrahan Stanford University EuroVis 2009 Keynote Systems of Thought:

Add to Reading List

Source URL: www.graphics.stanford.edu

Language: English - Date: 2009-06-11 17:10:14
226Philosophical logic / Logic in computer science / Model theory / Modal logic / First-order logic / Stable model semantics / Intuitionistic logic / Propositional calculus / Theorem / Logic / Mathematical logic / Non-classical logic

Discovering Classes of Strongly Equivalent Logic Programs∗ Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong

Add to Reading List

Source URL: www.cs.ust.hk

Language: English - Date: 2005-05-27 05:14:47
227Operas / Vocal music / Aachen / Ernani / Zaragoza / Baritone / Kirke Mechem / Choir / War Requiem / Music / Classical music / Voice types

The UC Alumni Chorus, Berkeley presents music of non-violence and compassion with Perfect Fifth and

Add to Reading List

Source URL: ucac.net

Language: English - Date: 2010-09-09 12:25:13
228Model theory / Modal logic / Non-classical logic / Kripke semantics / Entailment / Structure / Epistemic modal logic / Linear temporal logic / Μ operator / Logic / Mathematical logic / Philosophical logic

Elements of Epistemic Crypto Logic (Extended Abstract) Jan van Eijck Malvin Gattinger

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2015-03-16 08:58:37
229Integer sequences / Modal logic / Non-classical logic / Philosophical logic / Comma / Prime number / Mathematical proof / Logic / Mathematics / Mathematical logic

Mathematical Writing by Donald E. Knuth, Tracy Larrabee, and Paul M. Roberts This report is based on a course of the same name given at Stanford University during autumn quarter, 1987. Here’s the catalog description: C

Add to Reading List

Source URL: web.cs.hacettepe.edu.tr

Language: English - Date: 2014-08-23 07:46:03
230Mathematics / Non-classical logic / Model theory / Predicate logic / Modal logic / Stable model semantics / First-order logic / Interpretation / Autoepistemic logic / Logic / Mathematical logic / Logic programming

From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong

Add to Reading List

Source URL: www.cs.ust.hk

Language: English - Date: 2006-10-13 03:43:14
UPDATE